# Form implementation generated from reading ui file 'src/eric7/Preferences/ConfigurationPages/ViewmanagerPage.ui'
#
# Created by: PyQt6 UI code generator 6.9.1
#
# WARNING: Any manual changes made to this file will be lost when pyuic6 is
# run again.  Do not edit this file unless you know what you are doing.


from PyQt6 import QtCore, QtGui, QtWidgets


class Ui_ViewmanagerPage(object):
    def setupUi(self, ViewmanagerPage):
        ViewmanagerPage.setObjectName("ViewmanagerPage")
        ViewmanagerPage.resize(429, 519)
        self.verticalLayout = QtWidgets.QVBoxLayout(ViewmanagerPage)
        self.verticalLayout.setObjectName("verticalLayout")
        self.headerLabel = QtWidgets.QLabel(parent=ViewmanagerPage)
        self.headerLabel.setObjectName("headerLabel")
        self.verticalLayout.addWidget(self.headerLabel)
        self.line9_2 = QtWidgets.QFrame(parent=ViewmanagerPage)
        self.line9_2.setFrameShape(QtWidgets.QFrame.Shape.HLine)
        self.line9_2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
        self.line9_2.setFrameShape(QtWidgets.QFrame.Shape.HLine)
        self.line9_2.setObjectName("line9_2")
        self.verticalLayout.addWidget(self.line9_2)
        self.TextLabel1_2_2_2_3 = QtWidgets.QLabel(parent=ViewmanagerPage)
        self.TextLabel1_2_2_2_3.setObjectName("TextLabel1_2_2_2_3")
        self.verticalLayout.addWidget(self.TextLabel1_2_2_2_3)
        self.hboxlayout = QtWidgets.QHBoxLayout()
        self.hboxlayout.setObjectName("hboxlayout")
        self.windowLabel = QtWidgets.QLabel(parent=ViewmanagerPage)
        self.windowLabel.setObjectName("windowLabel")
        self.hboxlayout.addWidget(self.windowLabel)
        self.windowComboBox = QtWidgets.QComboBox(parent=ViewmanagerPage)
        sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
        sizePolicy.setHorizontalStretch(0)
        sizePolicy.setVerticalStretch(0)
        sizePolicy.setHeightForWidth(self.windowComboBox.sizePolicy().hasHeightForWidth())
        self.windowComboBox.setSizePolicy(sizePolicy)
        self.windowComboBox.setObjectName("windowComboBox")
        self.hboxlayout.addWidget(self.windowComboBox)
        self.verticalLayout.addLayout(self.hboxlayout)
        self.previewPixmap = QtWidgets.QLabel(parent=ViewmanagerPage)
        self.previewPixmap.setScaledContents(False)
        self.previewPixmap.setAlignment(QtCore.Qt.AlignmentFlag.AlignCenter)
        self.previewPixmap.setObjectName("previewPixmap")
        self.verticalLayout.addWidget(self.previewPixmap)
        self.line = QtWidgets.QFrame(parent=ViewmanagerPage)
        self.line.setFrameShape(QtWidgets.QFrame.Shape.HLine)
        self.line.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
        self.line.setObjectName("line")
        self.verticalLayout.addWidget(self.line)
        self.tabViewGroupBox = QtWidgets.QGroupBox(parent=ViewmanagerPage)
        self.tabViewGroupBox.setEnabled(False)
        self.tabViewGroupBox.setObjectName("tabViewGroupBox")
        self.vboxlayout = QtWidgets.QVBoxLayout(self.tabViewGroupBox)
        self.vboxlayout.setObjectName("vboxlayout")
        self.hboxlayout1 = QtWidgets.QHBoxLayout()
        self.hboxlayout1.setObjectName("hboxlayout1")
        self.filenameLengthLabel = QtWidgets.QLabel(parent=self.tabViewGroupBox)
        self.filenameLengthLabel.setObjectName("filenameLengthLabel")
        self.hboxlayout1.addWidget(self.filenameLengthLabel)
        self.filenameLengthSpinBox = QtWidgets.QSpinBox(parent=self.tabViewGroupBox)
        self.filenameLengthSpinBox.setMinimum(1)
        self.filenameLengthSpinBox.setMaximum(100)
        self.filenameLengthSpinBox.setProperty("value", 40)
        self.filenameLengthSpinBox.setObjectName("filenameLengthSpinBox")
        self.hboxlayout1.addWidget(self.filenameLengthSpinBox)
        spacerItem = QtWidgets.QSpacerItem(81, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.hboxlayout1.addItem(spacerItem)
        self.vboxlayout.addLayout(self.hboxlayout1)
        self.filenameOnlyCheckBox = QtWidgets.QCheckBox(parent=self.tabViewGroupBox)
        self.filenameOnlyCheckBox.setObjectName("filenameOnlyCheckBox")
        self.vboxlayout.addWidget(self.filenameOnlyCheckBox)
        self.verticalLayout.addWidget(self.tabViewGroupBox)
        self.groupBox_7 = QtWidgets.QGroupBox(parent=ViewmanagerPage)
        self.groupBox_7.setObjectName("groupBox_7")
        self.hboxlayout2 = QtWidgets.QHBoxLayout(self.groupBox_7)
        self.hboxlayout2.setObjectName("hboxlayout2")
        self.label = QtWidgets.QLabel(parent=self.groupBox_7)
        self.label.setObjectName("label")
        self.hboxlayout2.addWidget(self.label)
        self.recentFilesSpinBox = QtWidgets.QSpinBox(parent=self.groupBox_7)
        self.recentFilesSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
        self.recentFilesSpinBox.setMinimum(5)
        self.recentFilesSpinBox.setMaximum(50)
        self.recentFilesSpinBox.setObjectName("recentFilesSpinBox")
        self.hboxlayout2.addWidget(self.recentFilesSpinBox)
        spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.hboxlayout2.addItem(spacerItem1)
        self.verticalLayout.addWidget(self.groupBox_7)
        self.groupBox = QtWidgets.QGroupBox(parent=ViewmanagerPage)
        self.groupBox.setObjectName("groupBox")
        self.gridLayout = QtWidgets.QGridLayout(self.groupBox)
        self.gridLayout.setObjectName("gridLayout")
        self.label_2 = QtWidgets.QLabel(parent=self.groupBox)
        self.label_2.setObjectName("label_2")
        self.gridLayout.addWidget(self.label_2, 0, 0, 1, 1)
        self.maxHistorySizeSpinBox = QtWidgets.QSpinBox(parent=self.groupBox)
        self.maxHistorySizeSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
        self.maxHistorySizeSpinBox.setMinimum(50)
        self.maxHistorySizeSpinBox.setMaximum(1000)
        self.maxHistorySizeSpinBox.setSingleStep(10)
        self.maxHistorySizeSpinBox.setObjectName("maxHistorySizeSpinBox")
        self.gridLayout.addWidget(self.maxHistorySizeSpinBox, 0, 1, 1, 1)
        spacerItem2 = QtWidgets.QSpacerItem(178, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
        self.gridLayout.addItem(spacerItem2, 0, 2, 1, 1)
        self.label_3 = QtWidgets.QLabel(parent=self.groupBox)
        self.label_3.setObjectName("label_3")
        self.gridLayout.addWidget(self.label_3, 1, 0, 1, 1)
        self.minLineDeltaSpinBox = QtWidgets.QSpinBox(parent=self.groupBox)
        self.minLineDeltaSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
        self.minLineDeltaSpinBox.setMinimum(1)
        self.minLineDeltaSpinBox.setMaximum(50)
        self.minLineDeltaSpinBox.setObjectName("minLineDeltaSpinBox")
        self.gridLayout.addWidget(self.minLineDeltaSpinBox, 1, 1, 1, 1)
        self.label_4 = QtWidgets.QLabel(parent=self.groupBox)
        self.label_4.setObjectName("label_4")
        self.gridLayout.addWidget(self.label_4, 2, 0, 1, 1)
        self.maxHistoryMenuLengthSpinBox = QtWidgets.QSpinBox(parent=self.groupBox)
        self.maxHistoryMenuLengthSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
        self.maxHistoryMenuLengthSpinBox.setMinimum(10)
        self.maxHistoryMenuLengthSpinBox.setMaximum(50)
        self.maxHistoryMenuLengthSpinBox.setObjectName("maxHistoryMenuLengthSpinBox")
        self.gridLayout.addWidget(self.maxHistoryMenuLengthSpinBox, 2, 1, 1, 1)
        self.verticalLayout.addWidget(self.groupBox)
        spacerItem3 = QtWidgets.QSpacerItem(388, 20, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
        self.verticalLayout.addItem(spacerItem3)
        self.windowLabel.setBuddy(self.windowComboBox)

        self.retranslateUi(ViewmanagerPage)
        QtCore.QMetaObject.connectSlotsByName(ViewmanagerPage)
        ViewmanagerPage.setTabOrder(self.windowComboBox, self.filenameLengthSpinBox)
        ViewmanagerPage.setTabOrder(self.filenameLengthSpinBox, self.filenameOnlyCheckBox)
        ViewmanagerPage.setTabOrder(self.filenameOnlyCheckBox, self.recentFilesSpinBox)
        ViewmanagerPage.setTabOrder(self.recentFilesSpinBox, self.maxHistorySizeSpinBox)
        ViewmanagerPage.setTabOrder(self.maxHistorySizeSpinBox, self.minLineDeltaSpinBox)
        ViewmanagerPage.setTabOrder(self.minLineDeltaSpinBox, self.maxHistoryMenuLengthSpinBox)

    def retranslateUi(self, ViewmanagerPage):
        _translate = QtCore.QCoreApplication.translate
        self.headerLabel.setText(_translate("ViewmanagerPage", "<b>Configure View Manager</b>"))
        self.TextLabel1_2_2_2_3.setText(_translate("ViewmanagerPage", "<font color=\"#FF0000\"><b>Note:</b> This setting is activated at the next startup of the application.</font>"))
        self.windowLabel.setText(_translate("ViewmanagerPage", "Window view:"))
        self.windowComboBox.setToolTip(_translate("ViewmanagerPage", "Select the window view type."))
        self.windowComboBox.setWhatsThis(_translate("ViewmanagerPage", "The kind of window view can be selected from this list. The picture below gives an example of the selected view type."))
        self.previewPixmap.setToolTip(_translate("ViewmanagerPage", "Preview of selected window view"))
        self.previewPixmap.setWhatsThis(_translate("ViewmanagerPage", "This displays a small preview of the selected window view. This is the way the source windows are displayed in the application."))
        self.tabViewGroupBox.setTitle(_translate("ViewmanagerPage", "Tabbed View"))
        self.filenameLengthLabel.setText(_translate("ViewmanagerPage", "Filename Length of Tab:"))
        self.filenameLengthSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the number of characters to be shown in the tab."))
        self.filenameOnlyCheckBox.setToolTip(_translate("ViewmanagerPage", "Select to display the filename only"))
        self.filenameOnlyCheckBox.setText(_translate("ViewmanagerPage", "Show filename only"))
        self.groupBox_7.setTitle(_translate("ViewmanagerPage", "Recent Files"))
        self.label.setText(_translate("ViewmanagerPage", "Number of recent files:"))
        self.recentFilesSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the number of recent files to remember"))
        self.groupBox.setTitle(_translate("ViewmanagerPage", "Navigation History"))
        self.label_2.setText(_translate("ViewmanagerPage", "Maximum Size:"))
        self.maxHistorySizeSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the maximum number of entries to keep in the navigation history."))
        self.label_3.setText(_translate("ViewmanagerPage", "Line Number Delta:"))
        self.minLineDeltaSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the minimum number of lines within the same file to record a new entry."))
        self.label_4.setText(_translate("ViewmanagerPage", "Maximum Menu Length:"))
        self.maxHistoryMenuLengthSpinBox.setToolTip(_translate("ViewmanagerPage", "Enter the maximum number of entries to be shown in the history menus"))
